arm: gic: implement IPIs using SGI mechanism
authorIan Campbell <ian.campbell@citrix.com>
Wed, 17 Apr 2013 12:52:32 +0000 (13:52 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 18 Apr 2013 13:58:19 +0000 (14:58 +0100)
commit691835f2a10b41cce4664c5fe7046f49ad3e0535
treeae52dcca6e2268194d5221d09121abf01984307f
parent8d266f6b2c5c3d2d0da42f1e40ba1fb2ac8fdf1a
arm: gic: implement IPIs using SGI mechanism

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
xen/arch/arm/arm32/mode_switch.S
xen/arch/arm/gic.c
xen/arch/arm/smp.c
xen/include/asm-arm/gic.h